(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     15388,        556]
NotebookOptionsPosition[     11972,        454]
NotebookOutlinePosition[     14148,        511]
CellTagsIndexPosition[     14063,        506]
WindowTitle->PauliSigma
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[Cell[BoxData[
     ActionMenuBox[
      FrameBox[
       InterpretationBox[Cell[TextData[{
         "URL",
         StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
          StripOnInput->False]
        }]],
        TextCell[
         Row[{"URL", 
           Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
       StripOnInput->False], {"\<\"FeynCalc/ref/PauliSigma\"\>":>
      None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
      Module[{DocumentationSearch`Private`nb$}, 
       DocumentationSearch`Private`nb$ = NotebookPut[
          Notebook[{
            Cell["FeynCalc/ref/PauliSigma"]}, Visible -> False]]; 
       SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
       FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
       NotebookClose[DocumentationSearch`Private`nb$]; Null], 
      Delimiter, "\<\"Copy web URL\"\>":>
      Module[{DocumentationSearch`Private`nb$}, 
       DocumentationSearch`Private`nb$ = NotebookPut[
          Notebook[{
            Cell[
             BoxData[
              MakeBoxes[
               Hyperlink[
               "http://reference.wolfram.com/language/FeynCalc/ref/PauliSigma.\
html"], StandardForm]], "Input", TextClipboardType -> "PlainText"]}, Visible -> 
           False]]; SelectionMove[
        DocumentationSearch`Private`nb$, All, Notebook]; 
       FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
       NotebookClose[DocumentationSearch`Private`nb$]; 
       Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
        NotebookLocate[{
          URL[
           StringJoin[
            If[
             TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$205590], 
             "http://reference.wolfram.com/system-modeler/", 
             "http://reference.wolfram.com/language/"], 
            "FeynCalc/ref/PauliSigma", ".html"]], None}]}]},
      Appearance->None,
      MenuAppearance->Automatic,
      MenuStyle->"URLMenu"]],
     LineSpacing->{1.4, 0}]], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["PauliSigma", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"PauliSigma", "[", 
       RowBox[{"x", ",", "dim"}], "]"}]], "InlineFormula"],
     " \[LineSeparator]is the internal representation of a Pauli matrix with \
a Lorentz or Cartesian index or a contraction of a Pauli matrix and a Lorentz \
or Cartesian vector. PauliSigma[x,3] simplifies to PauliSigma[x]."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->735395322],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->121780438],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PauliSigma", "[", 
  RowBox[{"LorentzIndex", "[", "\[Alpha]", "]"}], "]"}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   OverscriptBox["\[Sigma]", "_"], 
   FormBox[
    FormBox["\[Alpha]",
     TraditionalForm],
    TraditionalForm]], TraditionalForm]], "Output",
 ImageSize->{26, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PauliSigma", "[", 
  RowBox[{"CartesianIndex", "[", "i", "]"}], "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   OverscriptBox[
    FormBox[
     StyleBox["\<\"\[Sigma]\"\>",
      StripOnInput->False,
      FontWeight->Bold],
     TraditionalForm], "_"], 
   FormBox[
    FormBox[
     StyleBox["i",
      StripOnInput->False,
      FontWeight->Bold],
     TraditionalForm],
    TraditionalForm]], TraditionalForm]], "Output",
 ImageSize->{25, 17},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[TextData[{
 "A Pauli matrix contracted with a Lorentz or Cartesian vector is displayed \
as ",
 Cell[BoxData[
  RowBox[{"\[Sigma]", "\[CenterDot]", 
   StyleBox["p",
    FontSlant->"Italic"]}]], "InlineFormula"]
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PauliSigma", "[", 
  RowBox[{"Momentum", "[", "p", "]"}], "]"}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   OverscriptBox["\[Sigma]", "_"], "\[CenterDot]", 
   FormBox[
    OverscriptBox[
     FormBox["p",
      TraditionalForm], "_"],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{39, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PauliSigma", "[", 
  RowBox[{"CartesianMomentum", "[", "p", "]"}], "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   OverscriptBox[
    FormBox[
     StyleBox["\<\"\[Sigma]\"\>",
      StripOnInput->False,
      FontWeight->Bold],
     TraditionalForm], "_"], "\[CenterDot]", 
   FormBox[
    OverscriptBox[
     FormBox[
      StyleBox["p",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], "_"],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{40, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"PauliSigma", "[", 
   RowBox[{"Momentum", "[", "q", "]"}], "]"}], " ", ".", " ", 
  RowBox[{"PauliSigma", "[", 
   RowBox[{"Momentum", "[", 
    RowBox[{"p", "-", "q"}], "]"}], "]"}]}]], "Input",
 CellLabel->"In[5]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     OverscriptBox["\[Sigma]", "_"], "\[CenterDot]", 
     FormBox[
      OverscriptBox[
       FormBox["q",
        TraditionalForm], "_"],
      TraditionalForm]}], ")"}], ".", 
   RowBox[{"(", 
    RowBox[{
     OverscriptBox["\[Sigma]", "_"], "\[CenterDot]", "(", 
     FormBox[
      FormBox[
       RowBox[{
        OverscriptBox[
         FormBox["p",
          TraditionalForm], "_"], "-", 
        OverscriptBox[
         FormBox["q",
          TraditionalForm], "_"]}],
       TraditionalForm],
      TraditionalForm], ")"}], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{145, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[5]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"%", "//", "PauliSigmaExpand"}]], "Input",
 CellLabel->"In[6]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     OverscriptBox["\[Sigma]", "_"], "\[CenterDot]", 
     FormBox[
      OverscriptBox[
       FormBox["q",
        TraditionalForm], "_"],
      TraditionalForm]}], ")"}], ".", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      OverscriptBox["\[Sigma]", "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox["p",
         TraditionalForm], "_"],
       TraditionalForm]}], "-", 
     RowBox[{
      OverscriptBox["\[Sigma]", "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox["q",
         TraditionalForm], "_"],
       TraditionalForm]}]}], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{154, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[6]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"PauliSigma", "[", 
   RowBox[{"CartesianMomentum", "[", "q", "]"}], "]"}], " ", ".", " ", 
  RowBox[{"PauliSigma", "[", 
   RowBox[{"CartesianMomentum", "[", 
    RowBox[{"p", "-", "q"}], "]"}], "]"}]}]], "Input",
 CellLabel->"In[7]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], "\[CenterDot]", 
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["q",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm]}], ")"}], ".", 
   RowBox[{"(", 
    RowBox[{
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], "\[CenterDot]", "(", 
     FormBox[
      FormBox[
       RowBox[{
        OverscriptBox[
         FormBox[
          StyleBox["p",
           StripOnInput->False,
           FontWeight->Bold],
          TraditionalForm], "_"], "-", 
        OverscriptBox[
         FormBox[
          StyleBox["q",
           StripOnInput->False,
           FontWeight->Bold],
          TraditionalForm], "_"]}],
       TraditionalForm],
      TraditionalForm], ")"}], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{148, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[7]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"%", "//", "PauliSigmaExpand"}]], "Input",
 CellLabel->"In[8]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], "\[CenterDot]", 
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["q",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm]}], ")"}], ".", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}], "-", 
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["q",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}]}], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{157, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[8]="]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"PauliSigma",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 9, 23.279961}", 
    "history" -> {"9.0", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "PauliSigma[x, dim] is the internal representation of a Pauli matrix with \
a Lorentz or Cartesian index or a contraction of a Pauli matrix and a Lorentz \
or Cartesian vector. PauliSigma[x,3] simplifies to PauliSigma[x].", 
    "synonyms" -> {}, "tabletags" -> {}, "title" -> "PauliSigma", 
    "titlemodifier" -> "", "windowtitle" -> "PauliSigma", "type" -> "Symbol", 
    "uri" -> "FeynCalc/ref/PauliSigma"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[3748, 107, 387, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->735395322]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 13920, 499}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[582, 21, 2281, 53, 53, "AnchorBarGrid",
 CellID->1],
Cell[2866, 76, 287, 11, 45, "ObjectNameGrid"],
Cell[3156, 89, 567, 14, 102, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[3748, 107, 387, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->735395322],
Cell[CellGroupData[{
Cell[4160, 126, 195, 6, 26, "ExampleSection",
 CellID->121780438],
Cell[CellGroupData[{
Cell[4380, 136, 132, 3, 27, "Input"],
Cell[4515, 141, 298, 11, 35, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[4850, 157, 127, 3, 27, "Input"],
Cell[4980, 162, 469, 19, 38, "Output"]
}, Open  ]],
Cell[5464, 184, 229, 7, 32, "Notes"],
Cell[CellGroupData[{
Cell[5718, 195, 121, 3, 27, "Input"],
Cell[5842, 200, 328, 12, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[6207, 217, 130, 3, 27, "Input"],
Cell[6340, 222, 509, 20, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[6886, 247, 253, 7, 27, "Input"],
Cell[7142, 256, 749, 28, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[7928, 289, 88, 2, 27, "Input"],
Cell[8019, 293, 805, 30, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[8861, 328, 271, 7, 27, "Input"],
Cell[9135, 337, 1231, 47, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10403, 389, 88, 2, 27, "Input"],
Cell[10494, 393, 1412, 54, 37, "Output"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[11945, 452, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

